Formalización De Una Eat